tutorial: Drop excessive margin from headerbar
authorMatthias Clasen <mclasen@redhat.com>
Sun, 28 Feb 2016 04:28:17 +0000 (23:28 -0500)
committerMatthias Clasen <mclasen@redhat.com>
Sun, 28 Feb 2016 04:28:17 +0000 (23:28 -0500)
commit213f74fe823f1d835c2d4fba04877a9a39d6d2f4
treedc8144ccd54ced777d3e1d87383b18d172a8d4df
parent87554eb57a101aa6a2e2f3a7a6ff5eaa09a5ede8
tutorial: Drop excessive margin from headerbar

It is no longer necessary to add extra margins around the
center child in a headerbar.
examples/application10/window.ui
examples/application2/window.ui
examples/application3/window.ui
examples/application4/window.ui
examples/application5/window.ui
examples/application6/window.ui
examples/application7/window.ui
examples/application8/window.ui
examples/application9/window.ui